221. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
222. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
223. Formal methods, foundations and applications :
Author: Adenilso Simao, Carroll Morgan (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
F67
B73
2011
224. Formal ontology in information systems :
Author: edited by Carola Eschenbach and Michael Grüninger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Conceptual structures (Information theory), Congresses.,Database design, Congresses.,Expert systems (Computer science), Congresses.,Knowledge representation (Information theory), Congresses.,Ontology, Congresses.,Conceptual structures (Information theory),Database design.,Expert systems (Computer science),Knowledge representation (Information theory),Ontology.
Classification :
QA76
.
76
.
E95
F65
2008
225. Formalization of Programming Concepts:
Author: J Diaz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Software engineering.
Classification :
QA76
.
6
J353
1981
226. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
227. Fractional Order Differentiation and Robust Control Design
Author: / Jocelyn Sabatier, Patrick Lanusse, Pierre Melchior, Alain Oustaloup
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: CONTROL SYSTEMS|ENGINEERING, MULTIDISCIPLINARY& METHODS|AUTOMATION &COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
228. Frontier computing :
Author: editors, Jason C. Hung, Neil Y. Yen, Kuan-Ching Li.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
Classification :
QA75
.
5
229. Frontier computing :
Author: Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
Classification :
QA75
.
5
230. Frontiers in Materials Modelling and Design
Author: edited by Vijay Kumar, Surajit Sengupta, Baldev Raj.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical physics.,Nanotechnology.,Physics.,Software engineering.,Surfaces (Physics).
231. Frontiers of higher order fuzzy sets /
Author: Alireza Sadeghian, Hooman Tahayori, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science),Engineering.,Fuzzy sets.,Artificial Intelligence (incl. Robotics),Computational Intelligence.,Data Structures, Cryptology and Information Theory.
Classification :
QA248
.
5
232. Fundamental approaches to software engineering :
Author: Alessandra Russo, Andy Schürr (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
Classification :
QA76
.
758
.
F37
2018eb
233. Fundamental approaches to software engineering :
Author: FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Vittorio Cortellessa [und weitere] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software Engineering,Software engineering -- Congresses.,Software engineering.
234. Fundamentals of Algebraic Specification 2 :
Author: by Hartmut Ehrig, Bernd Mahr.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
L63
B943
1990
235. Fundamentals of computational intelligence :
Author: James M. Keller, Derong Liu, David B. Fogel
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science)
Classification :
QA76
.
76
.
E95
K45
2016eb
236. Fuzzy Hardware
Author: edited by Abraham Kandel, Gideon Langholz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.
237. Fuzzy Relational Systems
Author: by Radim Bělohlávek.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
238. Fuzzy logic for embedded systems applications /
Author: by Ahmad M. Ibrahim.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Embedded computer systems-- Design and construction.,Fuzzy logic.,COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Embedded computer systems-- Design and construction.,Fuzzy logic.
Classification :
TK7895
.
E42
I32
2004eb
239. Fuzzy modeling and fuzzy control /
Author: Huaguang Zhang, Derong Liu
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Control theory.,Fuzzy systems.,Intelligent control systems.
240. Geminoid studies :
Author: edited by Hiroshi Ishiguro, Fabio Dalla Libera.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Androids-- Technological innovations.,Mechatronics.,Remote control.,Artificial intelligence.,Automatic control.,Dynamics.,Engineering.,Mechatronics.,Robotics.,TECHNOLOGY & ENGINEERING-- Engineering (General),User interfaces (Computer systems),Vibration.
Classification :
TJ163
.
12
